#include <stdio.h>
int main()
{
    int m;
    float n;
    scanf("%d", &m);
    n = ((m - 100) * 0.9) * 2;
    printf("%.1f", n);
    return 0;
}
